[]<>workersRunFlags__0___ ->                                             ((workersStates__0___) -> []<>(workersStates__0___))[]<>workersRunFlags__1___ ->                                             ((workersStates__1___) -> []<>(workersStates__1___))[]<>workersRunFlags__2___ ->                                             ((workersStates__2___) -> []<>(workersStates__2___))